Logic of information